



























local type_checker = {}





















































return type_checker
